#include <stdio.h>
int main()
{
	int h;
	float w,k;
	scanf("%d",&h);
	w = (h-100)*0.9;
	k=2*w;
	printf("%.1f",k);
	return 0;
}
